Darko Polšek, Kosta Bovan: Uvod u bihevioralnu ekonomiju

Uvod u teoriju brojeva

Introduction to Didactic Metaprogramming Uvod U Didaktičko Metaprogramiranje

podučavanje i učenje u školi i za cijeli život. 1. Didactic metaprogramming as hypermedia educational space An information overload, commonly occurring in the curriculum, can become a good solution, from the student’s needs and developmental capabilities point of view, only by the means of “intelligent” (hypermedia) computer didactic programs enabling a database search and an educational proces...

UVOD U PROJEKT ASAP (Zaštita područja Jadranskog mora) INTRODUCING THE ASAP PROJECT

Područje Jadranskog mora ima različite prednosti za špeditere (otpremnike) i brodovlasnike uzimajući u obzir prijevoz tereta i atraktivnost obale. Ono nudi veliki potencijal kompanijama za kružna putovanja i nautički turizam uzrokujući nagli rast pomorskog prijevoza u posljednjih deset godina, što je uzrokovalo povećanu zabrinutost za zdravlje i okoliš, namećući potragu za rješenjem koje bi ura...

Credible Compilation by Darko Marinov

This thesis describes a theoretical framework for building compilers that generate formal guarantees that they work correctly. Traditional compilers provide no such guarantees-given an original source program, a traditional compiler generates only a transformed executable program. The only way to investigate the correctness of a compilation is to run the transformed program on some sample input...

Online Semantic Activity Forecasting with DARKO

We address the problem of continuously observing and forecasting long-term semantic activities of a first-person camera wearer: what the person will do, where they will go, and what goal they are seeking. In contrast to prior work in trajectory forecasting and short-term activity forecasting, our algorithm, DARKO, reasons about the future position, future semantic state, and future high-level g...